1. Mathematical logic and programming languages
پدیدآورنده : edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
2. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
